Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท23h
โก๏ธCategory Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
๐๏ธDune
Flag this post
The case against boolean logic
โExistential Types
Flag this post
An intro to the Tensor Economics blog
lesswrong.comยท2d
๐OCaml Multicore
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปFunctional Programming
Flag this post
Magisterium
๐ฒCellular Automata
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐งฎZ3 Solver
Flag this post
From Lossy to Lossless Reasoning
๐งฉParser Combinators
Flag this post
De Bruijn Numerals
๐งฎLambda Calculus
Flag this post
Reflection for Aggregates (2020)
๐ขAlgebraic Data Types
Flag this post
Oops, My UUIDs Collided
๐ฏGADT
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
โExistential Types
Flag this post
Roadmap for Improving the Type Checker
๐Type Inference
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท5h
๐ง Automated Reasoning
Flag this post
Loading...Loading more...